161. Software Engineering -- ESEC '95 :
Author: edited by Wilhelm Schäfer, Pere Botella.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Software engineering.
162. Software Engineering and Environment :
Author: by Phillip C.-Y. Sheu.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Object-oriented programming (Computer science),Software engineering.
163. Software Engineering with Computational Intelligence
Author: edited by Taghi M. Khoshgoftaar.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Computer science.,Software engineering.
164. Software engineering and formal methods :
Author: Gilles Barthe, Alberto Pardo, Gerardo Schneider (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Formal methods (Computer science), Congresses.,Software engineering, Congresses.
Classification :
QA76
.
758
.
I58
2011
165. Software testing :
Author: Naresh Chauhan.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer software -- Testing.,Logiciels -- Essais.
Classification :
QA76
.
76
.
T48
N374
2010
166. Special issue of the International Multiconference of Engineers and Computer Scientists 2012
Author: Gi-Chul Yang [and others], editors.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer engineering -- Congresses.,Engineering -- Congresses.,Software engineering -- Congresses.
Classification :
TA5
.
G534
2013
167. Starting Out with Programming Logic and Design
Author: / Tony Gaddis
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: COMPUTER SCIENCE, SOFTWARE ENGINEERING
Classification :
E-BOOK
168. Static Analysis :
Author: by Patrick Cousot, Moreno Falaschi, Gilberto File.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Logic design.,Software engineering.
169. Statistisches Matching mit Fuzzy Logic :
Author: Patrick Noll ; Mit einem Geleitw. von Paul Alpar.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Information theory.,Software engineering.,Computer Science, general.,Software Engineering/Programming and Operating Systems.,Theory of Computation.
Classification :
GB656
.
2
.
H9
170. TAPSOFT'87 : proceedings of the International Joint Conference on Theory and Practice of Software Development, 1987
Author: edited by Harmut Ehrig...]et al.[
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer software -- Development,Congresses ، Software engineering,Data processing -- Congresses ، Trees )Graph theory(,Congresses ، Data structures )Computer science(,Congresses ، Computational complexity
Classification :
QA
76
.
L28
Vol
.
249-250
171. Tests and Proofs
Author: edited by Achim D. Brucker, Jacques Julliand
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science,Computer simulation,Logic design,Software engineering,Computer Science,Logics and Meanings of Programs,Mathematical Logic and Formal Languages,Programming Languages, Compilers, Interpreters,Programming Techniques,Simulation and Modeling,Software Engineering
172. The handbook of software for engineers and scientists /
Author: editor-in-chief, Paul W. Ross.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer software.,Engineering-- Data processing.,Science-- Data processing.,Computer software.,COMPUTERS / Programming Languages / JavaScript,Engineering-- Data processing.,Science-- Data processing.
Classification :
QA76
.
754
.
H35
2018eb
173. The innovation in computing companion :
Author: Gerard O'Regan.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computers-- Technological innovations.,Inventions.,Calculators.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Computers.,Mathematical instruments.
Classification :
QA76
.
5
.
O74
2018
174. Theoretical aspects of computing -- ICTAC 2018 :
Author: Bernd Fischer, Tarmo Uustalu (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science, Congresses.,Mathematical Logic and Formal Languages.,Artificial intelligence.,Computer programming / software development.,Computer science.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Mathematical theory of computation.,Mathematics-- Logic.,Programming & scripting languages: general.,Software Engineering.
Classification :
QA76
.
9
.
L63
175. Theory and Practice of Model Transformations :
Author: edited by Keith Duddy, Gerti Kappel.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Logic design.,Software engineering.
Classification :
QA76
.
76
.
D47
E358
2013
176. Theory and Practice of Model Transformations
Author: edited by Zhenjiang Hu, Juan Lara
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer Communication Networks,Computer science,Logic design,Software engineering,Computer Communication Networks,Computer Science,Logics and Meanings of Programs,Mathematical Logic and Formal Languages,Programming Languages, Compilers, Interpreters,Programming Languages, Compilers, Interpreters,Software Engineering
177. Thinking-driven testing :
Author: Adam Roman.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer software-- Quality control.,Software engineering.,Software measurement.,Computer software-- Quality control.,COMPUTERS-- Programming-- General.,Software engineering.,Software measurement.
Classification :
QA76
.
758
178. Tools and algorithms for the construction and analysis of systems :
Author: Dirk Beyer, Marieke Huisman (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer software-- Verification, Congresses.,System analysis, Congresses.,System design, Congresses.,Algorithms & data structures.,Computer programming-- software development.,Computer software-- Verification.,Computers-- Hardware-- Handheld Devices.,Computers-- Information Theory.,Computers-- Programming-- General.,Computers-- Social Aspects-- Human-Computer Interaction.,Computers-- Software Development & Engineering-- General.,Information technology: general issues.,Software Engineering.,System analysis.,System design.,Systems analysis & design.
Classification :
QA76
.
9
.
S88
179. Trends in Functional Programming :
Author: edited by Jay McCarthy.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Logic design.
Classification :
QA76
.
62
E358
2014
180. Trends in functional programming :
Author: edited by Meng Wang, Scott Owens.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Data structures (Computer science), Congresses.,Functional programming (Computer science), Congresses.,Logic design-- Computer programs, Congresses.,Computer architecture.,Computer programming-- software development.,Computer programming.,Computer science.,Computers-- Expert Systems.,Computers-- Information Technology.,Computers-- Operating Systems-- General.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Computers, Special purpose.,Expert systems-- knowledge-based systems.,Operating systems (Computers),Operating systems.,Programming & scripting languages: general.,Programming languages (Electronic computers),Software engineering.,Software Engineering.,Systems analysis & design.
Classification :
QA76
.
62
